<?hh
?>

echo 42;
